基于关系契约的研发联盟收益分配问题

在关系契约框架下研究研发联盟的收益分配问题.结果表明,研发联盟一次性合作的收益分配方案应遵循绝对优势原则,即合作各方应能够得到与自身贡献相匹配的合理收益;而重复合作收益分配应遵循相对优势原则,即根据相对成本和相对效率确定收益分配率,应给予相对劣势成员比短期合作中更高的收益分配比例,虽然该比例仍低于相对优势成员.这些研究结论可用来修正研发联盟收益分配正式契约条款,有助于克服成员的背约冲动,维护研发联盟的长期稳定.     

遗传算法模式理论研究

给出了多种交叉方式遗传算法的模式定理及相关的证明.该定理避免了遗传算法模式理论的不足,使模式理论更加准确、严格.     

数学问题解决的认知过程

数学问题解决的认知过程由图式获得和规则自动化两个基本成份构成;其策略涉及基于图式的顺着做策略和倒着做的手段-目的策略,另外还受主体知识经验和例题呈现形式的影响.     

酒店计算机管理系统

酒店宾馆总台有大量业务数据,传统手工处理效率低,不能适应现代化管理的需要.现代计算机处理数据速度快、效率高、成本低,本系统实现酒店宾馆总台的大量业务数据从手工处理转为计算机自动处理,并交付实际应用.     

北京市旅游产业发展战略研究

用灰色系统关联分析方法 ,测算了北京市旅游产业及三个主要旅游行业经济要素对收益的关联序 ,找出了各行业发展的关键因素和优势因素 ,进而以此为依据提出了旅游产业投资的方向和重点 .     

结构化面向对象形式规格说明语言OOZS——设计原理

形式方法与面向对象方法的综合使用可以使它们各自的优点得到充分体现：形式方法使目标软件系统的需求规格说明简明、精确,面向对象方法使目标软件系统的组织和分解工作更加系统、自然．本文讨论了Ｚ规格说明语言的应用限制,并在Ｚ语言的基础上介绍了结构化面向对象形式规格说明语言——ＯＯＺＳ的设计方法．该语言吸收了面向对象程序设计语言ＳｍａｌＴａｌｋ、Ｃ＋＋以及形式规格说明语言ＶＤＭ、Ｚｃ、Ｚ．Ｓ等的优点,引入了类、继承、入口、出口、Ｐｒｅ谓词、Ｐｏｓｔ谓词等机制,并对Ｚ语言的符号进行结构化处理,提高了形式规格说明的层次性和模块化能力,可用于大型面向对象软件系统需求规格说明的编写     

异构分布式数据库系统中的数据转换

提出３种实现异构分布式数据库系统中的．ＤＢＦ数据向ＳＱＬ表转换的有代表性的方法：软件工具转换法、客户端转换法、服务器转换法,并分析这３种方法的优缺点．     

基于自动机技术的XML复杂数据类型验证

复杂数据类型验证是XML文档验证的主要内容,是检查XML文档结构是否符合模式规则的关键.根据Schema规范中复杂数据类型的描述和自动机理论,提出了一种称为模式自动机的数据结构,讨论了将XML复杂数据类型结构转换成模式自动机的方法,并设计了用来验证文档结构的算法.使用模式自动机验证算法可以全面地发现XML文档中的结构错误并准确地给出相应的错误信息,在实际应用中具有很高的效率.     

面向对象关系数据库在数字图书馆中的应用

对数字图书馆系统中复杂的数据类型组织和处理进行了探讨，并提出了一种运用面向对象思想对关系数据库系统进行扩充的面向对象关系数据库模型。     

七号信令集中监测系统中的数据管理系统

七号信令网是电信网的重要组成部分，其运行质量直接影响到电信网及其各种业务的运行稳定性和实际效益。为了保证七号信令网的正常高效运行，七号信令集中监测系统已成为七信号进行集中监测和管理的重要工具。文章在分析七号信令集中监测系统框架的基础上，提出了在系统中建立多个数据库和数据仓库相结合的方案进行数据管理，然后对数据管理系统的组成结构、逻辑结构、数据存储与应用做了进一步的研究。